compound
\\[0ex]IsMonHomInj($g$;$h$;$f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$IsMonHom\{$g$,$h$\}($f$) \& Inj($\mid$$g$$\mid$;$\mid$$h$$\mid$;$f$)